
void unusedFunc [[noreturn]] ()
{
  throw 1;
}
